- Refactor logging.py to define TRACE/FATAL/NONE as module-level constants
  before assigning to the stdlib logging module, reducing type: ignore
  comments from 12 to 3 targeted suppressions
- Fix Callable annotation bug in heuristics.py add_pattern (missing return
  type) and extract _make_redaction_func helper to give mypy an inferable
  typed closure
- Add None guard before add_pattern call and assert on _default_redactions
  to resolve union-attr and arg-type errors in heuristics.py
- Suppress http.py try/except HTTPMethod import conflict with targeted
  attr-defined and no-redef ignores
- Add type: ignore[misc] to TYPE_CHECKING class definitions in platform.py
  and gateway.py where MRO causes attribute type conflicts
- Add make typecheck target and wire it into make ci and the quality job
  in ci.yaml so static analysis runs on every PR